-- Right chain, : case, 2 operators with p(a) < p(:)
m :: Int
m =
  1
    || 2
    || 3
    || 4
      : 5
    || 6
    || 7
    || 8
